РЕФЕРАТИВНА БАЗА ДАНИХ "УКРАЇНІКА НАУКОВА"
Abstract database «Ukrainica Scientific»
НОВІ
НАДХОДЖЕННЯ
ПОШУК
РУБРИКАТОР

Бази даних

Реферативна база даних - результати пошуку

Книжкові видання та компакт-диски
Журнали та продовжувані видання
Автореферати дисертацій
Реферативна база даних
Наукова періодика України
Тематичний навігатор
Авторитетний файл імен осіб
Вид пошуку
у знайденому
Сортувати знайдені документи за:
авторомназвоюроком виданнявидом документа
 Знайдено в інших БД:Книжкові видання та компакт-диски (1)Наукова періодика України (29)
Пошуковий запит: (<.>A=Крывый С$<.>)
Загальна кількість знайдених документів : 47
Представлено документи з 1 до 20
...
1.

Крывый С. Л. О вычислении минимального множества инвариантов сетей Петри. — 2001 // Искусств. интеллект.
2.

Краснитский С. М. О достаточных условиях эквивалентности гауссовских мер, соответствующих однородным полям, спектральные плотности которых имеют вещественные нули. — 1999 // Кибернетика и систем. анализ.
3.

Крывый С. Л. О некоторых методах решения и критериях совместности систем линейных диофантовых уравнений в области натуральных чисел. — 1999 // Кибернетика и систем. анализ.
4.

Крывый С. Л. О несовместности одного вида нелинейных уравнений в множестве натуральных чисел. — 2003 // Пробл. программирования.
5.

Крывый С. Л. Об алгоритмах решения систем линейных диофантовых констрейнтов в области {0,1}. — 2003 // Кибернетика и систем. анализ.
6.

Усатюк О. В. Реализация алгоритма преобразования неординарной сети Петри в ординарную. — 2004 // Пробл. программирования.
7.

Крывый С. Л. Совместность систем линейных констрейнтов в области натуральных чисел. — 2002 // Кибернетика и систем. анализ.
8.

Крывый С. Л. Формальные методы анализа свойств систем. — 2003 // Кибернетика и систем. анализ.
9.

Крывый С. Л. Формальные методы в исследовании свойств программных систем. — 2002 // Пробл. программирования.
10.

Крывый С. Л. Проверка непротиворечивости формул языка L, представленных в дизъюнктивной нормальной форме. I. — 2005 // Кибернетика и систем. анализ.
11.

Крывый С. Л. Алгоритмы решения систем линейных диофантовых уравнений в кольцах вычетов. — 2007 // Кибернетика и систем. анализ.
12.

Крывый С. Л. Алгоритмы решения систем линейных диофантовых уравнений в полях вычетов. — 2007 // Кибернетика и систем. анализ.
13.

Крывый С. Л. Алгоритмы решения систем линейных диофантовых уравнений в целочисленных областях. — 2006 // Кибернетика и систем. анализ.
14.

Крывый С. Л. Проверка непротиворечивости формул языка L, представленных в дизъюнктивной нормальной форме. II. — 2005 // Кибернетика и систем. анализ.
15.

Крывый С. Л. Алгоритм проверки противоречивости множества дизъюнктов в исчислении высказываний. — 2008 // Пробл. програмув.
16.

Чугаенко А. В. Об алгоритме перевода документов MSC в сети Петри. — 2008 // Пробл. програмув.
17.

Крывый С. Л. Алгоритм построения базиса множества решений систем линейных диофантовых уравнений в кольце целых чисел. — 2009 // Кибернетика и систем. анализ.
18.

Крывый С. Л. Исследование свойств документов MSC с помощью преобразования их в сети Петри. — 2009 // Кибернетика и систем. анализ.
19.

Крывый С. Л. Формальные методы анализа дискретных систем с использованием языка спецификаций. — 2009 // Кибернетика и систем. анализ.
20.

Палагин А. В. Онтологические методы и средства обработки предметных знаний : монография. — Луганск: Изд-во ВНУ им. В. Даля, 2012
...
 
Національна бібліотека України імені В. І. Вернадського
Відділ наукового формування національних реферативних ресурсів
Інститут проблем реєстрації інформації НАН України

Всі права захищені © Національна бібліотека України імені В. І. Вернадського